Nuprl Definition : double_sum
4,23
postcript
pdf
sum(
f
(
x
;
y
) |
x
<
n
;
y
<
m
) == sum(sum(
f
(
x
;
y
) |
y
<
m
) |
x
<
n
)
latex
Definitions
sum(
f
(
x
) |
x
<
k
)
FDL editor aliases
double_sum
origin